Section: New Results
ACG Type System
Participants : Philippe de Groote, Sylvain Pogodalla, Florent Pompigne.
In order to extend the flexibility and the expressiveness of the the ACG framework, [57] proposed a type-system extension. However, the formal properties of the system have to be proved. In his PhD work, Florent Pompigne is proposing alternate -rules and commutative conversions in order to get the desirable properties. This work, currently in progress, relates to former proposals for a linear calculus with dependent types [28] and a calculus for extensionality with variants [40] .